#ifndef H_PUP_SYSTEM_H
#define H_PUP_SYSTEM_H

void pup_cpuid(unsigned info, unsigned* eax, unsigned* ebx, unsigned* ecx, unsigned* edx);

//bool pup_is_tsc_invariant();

#endif /* H_PUP_SYSTEM_H */

